The search for trivial types
نویسندگان
چکیده
منابع مشابه
the search for the self in becketts theatre: waiting for godot and endgame
this thesis is based upon the works of samuel beckett. one of the greatest writers of contemporary literature. here, i have tried to focus on one of the main themes in becketts works: the search for the real "me" or the real self, which is not only a problem to be solved for beckett man but also for each of us. i have tried to show becketts techniques in approaching this unattainable goal, base...
15 صفحه اولthe application of multivariate probit models for conditional claim-types (the case study of iranian car insurance industry)
هدف اصلی نرخ گذاری بیمه ای تعیین نرخ عادلانه و منطقی از دیدگاه بیمه گر و بیمه گذار است. تعین نرخ یکی از مهم ترین مسایلی است که شرکتهای بیمه با آن روبرو هستند، زیرا تعیین نرخ اصلی ترین عامل در رقابت بین شرکتها است. برای تعیین حق بیمه ابتدا می باید مقدار مورد انتظار ادعای خسارت برای هر قرارداد بیمه را برآورد کرد. روش عمومی مدل سازی خسارتهای عملیاتی در نظر گرفتن تواتر و شدت خسارتها می باشد. اگر شر...
15 صفحه اولNon-trivial Power Types Can't Be Subtypes of Polymorphic Types
This paper establishes a new limitative relation between the polymorphic lambda calculus and the kind of higher order type theory which is em bodied in the logic of toposes It is shown that any embedding in a topos of the cartesian closed category of closed types of a model of the poly morphic lambda calculus must place the poly morphic types well away from the powertypes of the topos in the se...
متن کاملA non-trivial spectrum for the trivial λφ theory
It is pointed out that one-component φ theory in four dimensions has a non-perturbative sector that can be studied by means of an exact duality transformation of its Ising limit. This duality maps it to a membrane model. As a consequence, the φ-theory turns out to have, in the broken symmetry phase, a remarkably rich spectrum of physical states corresponding to membrane excitations. A numerical...
متن کاملEfficient Compound Unit Search for Heterogeneous Types
This paper presents a new mechanism for compound unit search. Its purpose is to speed up parser and transfer without any drop in performance. Compound unit brings down the load of morphological/syntactic generation module with pre-defined natural translations. It also reduces the search space for parser by divide-and-conquer strategy and resolves some POS (part-of-speech) ambiguities in the uni...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Illinois Journal of Mathematics
سال: 2000
ISSN: 0019-2082
DOI: 10.1215/ijm/1255984840